#include "OS.h"

volatile OS_flags_struct OS_flags;

void OS_init(void)
{
	OS_flags.b10ms = 0;
	OS_flags.b100ms = 0;
	OS_flags.b1000ms = 0;
	OS_flags.task_overrun = 0;
	Timer3_init();
}
